University of Nottingham - PDFSEARCH.IO - Document Search Engine

University of Nottingham
Results: 779

#	Item
531	Classifying Sketches of animals using an Agent-Based System Graham Mackenzie and Natasha Alechina Nottingham University, Nottingham, NG8 2BB, UK, [removed], WWW home page: http://www.cs.nott.ac.uk/∼gjm Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:51:03 Scientific modeling Science Artificial intelligence Knowledge Multi-agent systems Agent-based model Complex systems theory
532	Consensus Action Games Julian Zappala, Natasha Alechina, Brian Logan School of Computer Science, University of Nottingham {jxz,nza,bsl}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-05-17 05:22:15 Motor control Consensus Quorum Computational complexity theory NP Applied mathematics Ethology Mind Action selection Artificial intelligence Cognitive science
533	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
534	Why Dependent Types Matter Thorsten Altenkirch Conor McBride The University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:46:50 Functional languages Higher-order functions Procedural programming languages Functional programming Fold Recursion Structural induction ML Map Software engineering Computing Computer programming
535	State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-05-10 13:21:07 Software engineering Applied mathematics Constraint Mathematical optimization Search algorithm Constraint optimization Constraint logic programming Constraint programming Theoretical computer science Constraint satisfaction
536	Analysing Probabilistically Constrained Optimism Michael Lees and Brian Logan School of Computer Science & IT University of Nottingham UK {mhl,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-12-28 11:58:18 Simulation Operations research Stochastic processes Variance Normal distribution Algorithm Discrete event simulation Standard deviation Queueing theory Statistics Data analysis Scientific modeling
537	Microsoft Word - ExecSum - Improving School Leadership _SC 18 aug_ - dr 5 _fixed page numbers_.doc Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-04 13:16:02 Education in England National College for School Leadership University of Nottingham Educational leadership New Leaders Skill Leadership development School counselor Leadership studies Education Department for Education
538	Consensus Games Julian Zappala, Natasha Alechina, and Brian Logan School of Computer Science University of Nottingham Nottingham, NG8 1BB, UK {jxz,nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:00:28 Consensus Core Coalition Problem solving Human behavior Game theory Ethics Cooperative game
539	Data Donation: Sharing Personal Data for Public Good? Anya Skatova Horizon Digital Economy Research, University of Nottingham, Jubilee Campus, NG8 1BB [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2015-01-07 08:52:21 Science Prosocial behavior Altruism Helping behavior Psychology Motivation Helpfulness Social psychology Behavior Behavioural sciences
540	Archives relating to Laxton Introduction There is a wealth of original material relating to Laxton, but it is held in a number of different archive offices, libraries and museums. A large amount of material can be found Add to Reading List Source URL: www.nottingham.ac.uk Language: English - Date: 2011-02-07 04:18:13 Laxton Nottinghamshire Laxton Castle Earl Manvers Laxton Manuscripts and Special Collections University of Nottingham Information Services Kneesall Egmanton Newark and Sherwood Tithe Commutation Act Nottinghamshire Counties of England Local government in England

UPDATE